Verification of Cyberphysical Systems
نویسندگان
چکیده
منابع مشابه
Structural Resilience of Cyberphysical Systems
The resilience of cyberphysical systems (CPS) to denial of service (DoS) and integrity attacks is studied. The CPS is modeled as a linear structured system, and its resilience to various attack scenarios is interpreted in a graph theoretical framework. The structural resilience of the CPS to DoS and integrity attacks is characterized in terms of unmatched vertices in maximum matchings of the bi...
متن کاملBeyond the Cloud: Cyberphysical Systems
C louds offer a novel way to revitalize the seemingly archaic concept of time-sharing. Rather than relying on fixed mainframes, clouds thrive in the Internet. Clouds offer impressive efficiencies, unprecedented collaboration opportunities, and economies of scale for all manner of networked users. Yet cloud server farms have enormously costly power consumption footprints and require massive data...
متن کاملHybrid Simulation of CyberPhysical Energy Systems
Simulating cyber-physical energy systems such as data centers requires the characterization of the energy interactions between the computing units and the physical environment. Such interactions involve discrete events such as changes in operating modes of cooling units, and also transient processes such as heat flow. An event-based simulator fails to capture continuous transient effects while ...
متن کاملCyberphysical systems security applied to telesurgical robotics
a r t i c l e i n f o Researchers in telesurgical robotics and security collaborated to develop the Secure ITP, a security enhancement to the Interoperable Telesurgery Protocol (ITP). The ITP defines the structure for communication between telesurgery robots and controllers and has been adopted and tested by fourteen research groups in telesurgical robotics. The Secure ITP uses open source soft...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics
سال: 2020
ISSN: 2227-7390
DOI: 10.3390/math8071068